翻訳と辞書 Words near each other ・ terminal emulator ・ terminal illness ・ terminal junkie ・ terminal node ・ terminal oriented real time operating system ・ terminal oriented social science ・ terminal productivity executive ・ terminal server ・ terminal user interface ・ terminate and stay resident ・ termination analysis ・ terminator ・ terms of service ・ ternary ・ terpri ・ terrabyte ・ terse ・ test ・ test coverage ・ testing Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク termination analysis ： FOLDOC termination analysis A program analysis which attempts to determine whether evaluation of a given expression will definitely terminate. Evaluation of a constant is bound to terminate, as is evaluation of a non-recursive function applied to arguments which are either not evaluated or which can themselves be proved to terminate. A recursive function can be shown to terminate if it can be shown that the arguments of the recursive calls are bound to reach some value at which the recursion will cease. Termination analysis can never guarantee to give the correct answer because this would be equivalent to solving the halting problem so the answer it gives is either "definitely terminates" or "don't know". (1994-10-20) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.